Devyanin Peter N. «Transformation rules for states in base role DP-model of accesscontrol and information flows in operating systems» // 2011. №1(11) C.78-95
Grechnev S. Yu., Stefantsov D.A. «Modification of lyapas for operating systems development» // Applied Discrete Mathematics. Supplement 2015. №8 C.129-131
